Automatic Generation of Diversified Program Variants Optimized to Detect Hardware Faults
نویسنده
چکیده
A virtual duplex system can be used to increase safety without the use of structural redundancy on a single machine. If a program P is calculating a given function f, then a virtual duplex system contains two variants Pa and Pb of P which are calculating the diverse functions fa and fb , respectively. If no error occurs in the process of designing and executing Pa and Pb then f = fa = fb holds. For a given input i the VDS calculates and compares the values fa(i) and fb(i). The presence of an error can be detected if fa(i) <> fb(i). This paper outlines the design of a Pentium II based system which aims at the automatic generation of VDS's with a high detection probability for hardware faults.
منابع مشابه
Automatische Erzeugung und Bewertung virtueller Duplexsysteme zur Erkennung von Betriebsfehlern in Mikroprozessoren
Virtual duplex systems execute two variants of an application program on a single computer in sequential order and are known to be suitable for the detection of temporary faults occurring in microprocessors. In contrast, a good detection of permanent faults can only be expected if the program variants are sufficiently diversified. Well diversified virtual duplex systems are deemed to be a compe...
متن کاملImprovement of generative adversarial networks for automatic text-to-image generation
This research is related to the use of deep learning tools and image processing technology in the automatic generation of images from text. Previous researches have used one sentence to produce images. In this research, a memory-based hierarchical model is presented that uses three different descriptions that are presented in the form of sentences to produce and improve the image. The proposed ...
متن کاملA Genetic Algorithm for Automatic Generation of Test Logic for Digital Circuits
Testing is a key issue in the design and production of digital circuits: the adoption of BIST (Built-In SelfTest) techniques is increasingly popular, but sometimes requires efficient algorithms for the automatic generation of the logic which generates the test vectors applied to the Unit Under Test. This paper addresses the issue of identifying a Cellular Automaton able to generate input patter...
متن کاملOn Feasibility of Adaptive Level Hardware Evolution for Emergent Fault Tolerant Communication
A permanent physical fault in communication lines usually leads to a failure. The feasibility of evolution of a self organized communication is studied in this paper to defeat this problem. In this case a communication protocol may emerge between blocks and also can adapt itself to environmental changes like physical faults and defects. In spite of faults, blocks may continue to function since ...
متن کاملReliable Hardware Architectures of CORDIC Algorithm with Fixed Angle of Rotations
Fixed-angle rotation operation of vectors is widely used in signal processing, graphics, and robotics. Various optimized coordinate rotation digital computer (CORDIC) designs have been proposed for uniform rotation of vectors through known and specified angles. Nevertheless, in the presence of faults, such hardware architectures are potentially vulnerable. In this thesis, we propose efficient e...
متن کامل